AADL_SOURCES = $(srcdir)/minepump.aadl
AADL_ROOT    = minepump.impl

OTHER_FILES = $(srcdir)/minepump.c $(srcdir)/simu.c $(srcdir)/simu.h

CLEANDIRS = minepump_impl
CLEANFILES = *.lnt demo.svl

include $(srcdir)/../Makefile.common

AVAILABLE_TARGETS= parse-aadl c
